Teaching NL to FOL and FOL to CF Conversions
نویسنده
چکیده
In this paper, we present ways of teaching the NL to FOL and the FOL to CF conversions. NL to FOL conversion teaching is based on the use of a structured and interactive process of making the conversion, introduced here, which helps students, and the support of two software tools, one based on an implementation of that process and the other making a translation from a FOL formula to a NL-like sentence. FOL to CF conversion teaching is based on a software tool that implements the conversion process and allows the intermediate steps to be visible. This gives the students the capability of trying the conversion of any FOL formula to its CF. The first experience results are promising.
منابع مشابه
A Knowledge-based System for Translating FOL Formulas into NL Sentences
In this paper, we present a system that translates first order logic (FOL) formulas into natural language (NL) sentences. The motivation comes from an intelligent tutoring system teaching logic as a knowledge representation language, where it is used as a means for feedback to the users. FOL to NL conversion is achieved by using a rule-based approach, where we exploit the pattern matching capab...
متن کاملAssistant Tools for Teaching FOL to CF Conversion
The FOLtoCF system is an interactive web-based system for learning to convert first order logic (FOL) formulas into Clause Form (CF). FOL to CF conversion is a fundamental part of using FOL for making inferences. In this paper, we present two tutor assistant tools integrated with that system. The first, called tutoring manager, helps the tutor to manage the teaching material and monitor the pro...
متن کاملA Rule-Based System Implementing a Method for Translating FOL Formulas into NL Sentences
In this paper, we mainly present the implementation of a system that translates first order logic (FOL) formulas into natural language (NL) sentences. The motivation comes from an intelligent tutoring system teaching logic as a knowledge representation language, where it is used as a means for feedback to the students-users. FOL to NL conversion is achieved by using a rule-based approach, where...
متن کاملConverting First Order Logic into Natural Language: A First Level Approach
In this paper, we present the FOLtoNL system, which converts first order logic (FOL) sentences into natural language (NL) ones. The motivation comes from an intelligent tutoring system teaching logic as a knowledge representation language, where we use it as a means for feedback to the users. FOL to NL conversion is achieved by using a rule-based approach, where we exploit the pattern matching ...
متن کاملGraphical Revelations: Comparing Students' Translation Errors in Graphics and Logic
We are interested in developing a better understanding of what it is that students find difficult in learning logic. We use both natural language and diagram-based methods for teaching students the formal language of first-order logic. In this paper, we present some initial results that demonstrate that, when we look at how students construct diagrammatic representations of information expresse...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007